What is Continuity, Constructively?
نویسنده
چکیده
The concept of continuity for mappings between metric spaces should coincide with that of uniform continuity in the case of a compact domain, and still give rise to a category. In Bishop’s constructive mathematics both requests can be fulfilled simultaneously, but then the reciprocal function has to be abandoned as a continuous function unless one adopts the fan theorem. This perhaps little satisfying situation could be avoided by moving to a point–free setting, such as formal topology, in which infinite coverings are defined mainly inductively. The purpose of this paper is to discuss the earlier situation and some recent developments.
منابع مشابه
Sequential Continuity of Linear Mappings in Constructive Mathematics
This paper deals, constructively, with two theorems on the sequential continuity of linear mappings. The classical proofs of these theorems use the boundedness of the linear mappings, which is a constructively stronger property than sequential continuity; and constructively inadmissable versions of the Banach-Steinhaus theorem.
متن کاملStrong continuity implies uniform sequential continuity
A . Uniform sequential continuity, a property classically equivalent to uniform continuity on compact sets, is shown, constructively, to be a consequence of strong continuity on a metric space. It is then shown that in the case of a separable metric space, in order to omit the word sequential from this result, it is necessary and sufficient to adopt a principle (BD-N) that is independent of Hey...
متن کاملConstructively well-posed approximation methods with unity inf-sup and continuity constants for partial differential equations
Starting from the generalized Lax-Milgram theorem and from the fact that the approximation error is minimized when the continuity and inf– sup constants are unity, we develop a theory that provably delivers well-posed approximation methods with unity continuity and inf–sup constants for numerical solution of linear partial differential equations. We demonstrate our single-framework theory on sc...
متن کاملProximal and uniform convergence on apartness spaces
The main purpose of this paper is to investigate constructively the relationship between proximal convergence, uniform sequential convergence and uniform convergence for sequences of mappings between apartness spaces. It is also shown that if the second space satisfies the Efremovic axiom, then proximal convergence preserves strong continuity. Mathematics Subject Classification: 54E05, 03F60
متن کاملConstructive Proof for Polynomial Extensions in Two Dimensions and Application to the h-p Finite Element Method
Polynomial extensions play a vital role in analysis of the p and h-p FEM as well as spectral element method. In this paper, we construct explicitly polynomial extensions on a triangle T and a square S, which lift a polynomial defined on a side Γ or on whole boundary of T or S. The continuity of these extension operators from H 1 2 00(Γ) to H (T ) or H(S) and from H 1 2 (∂T ) to H(T ) or from H ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. UCS
دوره 11 شماره
صفحات -
تاریخ انتشار 2005